Stable model semantics - PDFSEARCH.IO - Document Search Engine

Stable model semantics
Results: 102

#	Item
91	An Implementation of Statistical Default Logic Gregory R. Wheeler and Carlos Dam´asio Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´ atica, Universidade Nova de Lisboa[removed]Caparica, Portugal Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:17 Non-classical logic Boolean algebra Default logic Knowledge representation Propositional calculus Stable model semantics First-order logic Answer set programming Well-formed formula Logic Mathematical logic Logic programming
92	A Well-founded Semantics for Hybrid MKNF Knowledge Bases? Matthias Knorr1 , Jos´e J´ ulio Alferes1 , and Pascal Hitzler2 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Modal logic Logic programming Artificial intelligence Non-classical logic Model theory Stable model semantics Epistemic modal logic Partition Description logic Mathematics Mathematical logic Logic
93	Decisions, Agents and Games Marina De Vos* and Dirk Vermeir Dept. of Computer Science Free University of Brussels, VUB Pleinlaan 2, Brussels 1050, Belgium Tel: +[removed] Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Science Nash equilibrium Solution concept Subgame Trembling hand perfect equilibrium Non-credible threat Extensive-form game Strategy Stable model semantics Game theory Problem solving Economics
94	Exploiting Conjunctive Queries in Description Logic Programs? Thomas Eiter1 , Giovambattista Ianni1,2 , Thomas Krennwallner1 , and Roman Schindlauer1,2 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Mathematical logic Logic in computer science Semantic Web Conjunctive query Database theory Description logic Datalog Answer set programming Stable model semantics Theoretical computer science Logic Logic programming
95	GDP Festschrift ENTCS, to appear Event Domains, Stable Functions and Proof-Nets Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:57 Mathematics Curry–Howard correspondence Sequent calculus Cut-elimination theorem Proof net Linear logic Denotational semantics Model theory Net Proof theory Logic Mathematical logic
96	DLclog : A Hybrid System Integrating Rules and Description Logics with Circumscription Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Science Artificial intelligence Modal logic Knowledge representation Stable model semantics Description logic Non-monotonic logic Circumscription Logic programming Logic Mathematical logic
97	Negation and Negative Information in the W3C Resource Description Framework Anastasia Analyti1 , Grigoris Antoniou1,2 , Add to Reading List Source URL: www.ics.forth.gr Language: English - Date: 2011-05-10 07:25:11 Non-classical logic Reasoning Propositional calculus Stable model semantics Negation Closed world assumption Paraconsistent logic Non-monotonic logic Prolog Logic Mathematical logic Logic programming
98	PDF Document Add to Reading List Source URL: www.depts.ttu.edu Language: English - Date: 2011-09-19 10:31:27 Artificial intelligence Stable model semantics Negation as failure Prolog Answer set programming Negation Inference Natural deduction Admissible rule Logic programming Logic Software engineering
99	PDF Document Add to Reading List Source URL: www.d.umn.edu Language: English - Date: 2007-07-18 12:02:08 Mathematical logic Boolean algebra Linguistics Semantics Model theory Stable model semantics Propositional formula Literal Negation Logic Propositional calculus Logic programming
100	PDF Document Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2004-12-10 03:34:14 Logic programming Propositional calculus Boolean algebra Rules of inference Stable model semantics Answer set programming Resolution Atomic formula Negation Logic Mathematical logic Mathematics

UPDATE